Scattered Sentences Have Few Separable Randomizations
نویسندگان
چکیده
In the paper Randomizations of Scattered Sentences, Keisler showed that if Martin’s axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is “yes”. It follows that the absolute Vaught conjecture holds if and only if every Lω1ω-sentence with few separable randomizations has countably many countable models.
منابع مشابه
Separable Models of Randomizations
Every complete first order theory has a corresponding complete theory in continuous logic, called the randomization theory. It has two sorts, a sort for random elements of models of the first order theory, and a sort for events. In this paper we establish connections between properties of countable models of a first order theory and corresponding properties of separable models of the randomizat...
متن کاملRandomizing a Model
A randomization of a first order structure M is a new structure with certain closure properties whose universe is a set K of “random elements” of M. Randomizations assign probabilities to sentences of the language of M with new constants from K. Our main theorem shows that all randomizations of M are models of the same first order theory T , which has a nice set of axioms and admits elimination...
متن کاملGeneration of Sentences with Their Parses: the Case of Propagating Scattered Context Grammars
Propagating scattered context grammars are used to generate their sentences together with their parses—that is, the sequences of labels denoting productions whose use lead to the generation of the corresponding sentences. It is proved that for every recursively enumerable language L, there exists a propagating scattered context grammar whose language consists of L’s sentences followed by their ...
متن کاملA ug 1 99 4 Properties of the Class of Measure Separable Compact Spaces
We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as M S. We discuss some closure properties of M S, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in M S. Most of the basic theory for regular measures is true just in ZF C. On the other hand...
متن کاملHousing First Reduces Re-offending among Formerly Homeless Adults with Mental Disorders: Results of a Randomized Controlled Trial
BACKGROUND Homelessness and mental illness have a strong association with public disorder and criminality. Experimental evidence indicates that Housing First (HF) increases housing stability and perceived choice among those experiencing chronic homelessness and mental disorders. HF is also associated with lower residential costs than common alternative approaches. Few studies have examined the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017